Network-formation games with regular objectives
نویسندگان
چکیده
منابع مشابه
Network-Formation Games with Regular Objectives
Classical network-formation games are played on a directed graph. Players have reachability objectives, and each player has to select a path satisfying his objective. Edges are associated with costs, and when several players use the same edge, they evenly share its cost. The theoretical and practical aspects of network-formation games have been extensively studied and are well understood. We in...
متن کاملTree games with regular objectives
We study tree games developed recently by Matteo Mio as a game interpretation of the probabilistic μ-calculus. With expressive power comes complexity. Mio showed that tree games are able to encode Blackwell games and, consequently, are not determined under deterministic strategies. We show that non-stochastic tree games with objectives recognisable by so-called game automata are determined unde...
متن کاملGames with lexicographically ordered $\omega$-regular objectives
In recent years, two-player zero-sum games with multidimensional objectives have received a lot of interest as a model for the synthesis of complex reactive systems. In this framework, player 1 wins if he can ensure that all objectives are satisfied against any behavior of player 2. It is however often natural to provide more significance to one objective over another, a situation that can be m...
متن کاملGames with lexicographically ordered $ω$-regular objectives
In recent years, two-player zero-sum games with multidimensional objectives have received a lot of interest as a model for intricate systems that are required to satisfy several properties. In this framework, player 1 wins if he can ensure that all objectives are satisfied against any behavior of player 2. It is however often natural to provide more significance to one objective over another, a...
متن کاملNetwork Formation Games with Teams
Network formation games have been proposed as a tool to explain the topological characteristics of existing networks. They assume that each node is an autonomous decision-maker, ignoring that in many cases different nodes are under the control of the same authority (e.g. an Autonomous System) and then they operate as a team. In this paper we introduce the concept of network formation games for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2016
ISSN: 0890-5401
DOI: 10.1016/j.ic.2016.08.004